function a()<|>: boolean %checks {}
